$\vdash$  \{$f$ $\mid$ $i$:$\mathbb{N}$ $\rightarrow$ if ($i$ =$_{0}$ 0) then $\mathbb{Z}$ else \{$f$($i$ {-} 1)$\ldots\,$\} fi \} $\in$ Type